Proof assistant

Calidad:

Asistente de pruebas - demostración interactiva de teoremas. El artículo “Proof assistant” en Wikipedia en inglés tiene 31.8 puntos por calidad (a 1 de julio de 2025). El artículo contiene 22 referencias y 8 secciones. El artículo también contiene plantillas que señalan deficiencias de calidad, por lo que su puntuación se redujo en 3,54 puntos.

Este artículo tiene la mejor calidad en Wikipedia en chino. Sin embargo, este artículo es el más popular de la Wikipedia en inglés.

Desde la creación del artículo “Proof assistant”, , su contenido fue escrito por 107 usuarios registrados de Wikipedia en inglés fue editado por 212 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 266 veces en Wikipedia en inglés y es citado 553 veces en todos los idiomas.

La clasificación más alta de interés de los autores desde 2001:

• Local (inglés): Nº 28702 en marzo de 2025
• Global: Nº 55627 en octubre de 2004

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 190364 en noviembre de 2017
• Global: Nº 312653 en noviembre de 2017

Hay 9 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de julio de 2025 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

#	Idioma	Grado de calidad	Puntuación de calidad
1	chino (zh) 证明助手		54.119
2	inglés (en) Proof assistant		31.834
3	estonio (et) Tõestusassistent		31.7775
4	francés (fr) Assistant de preuve		26.1518
5	ucraniano (uk) Асистент доведення теорем		24.8124
6	coreano (ko) 증명 보조기		16.551
7	ruso (ru) Инструмент интерактивного доказательства теорем		14.9517
8	español (es) Demostración interactiva de teoremas		1.1306
9	polaco (pl) System wspomagający dowodzenie twierdzeń		0.3428

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Proof assistant		577 876
2	francés (fr) Assistant de preuve		69 148
3	polaco (pl) System wspomagający dowodzenie twierdzeń		12 825
4	español (es) Demostración interactiva de teoremas		8 979
5	ruso (ru) Инструмент интерактивного доказательства теорем		6 229
6	coreano (ko) 증명 보조기		1 032
7	estonio (et) Tõestusassistent		374
8	ucraniano (uk) Асистент доведення теорем		260
9	chino (zh) 证明助手		230

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Proof assistant		4 492
2	francés (fr) Assistant de preuve		267
3	ruso (ru) Инструмент интерактивного доказательства теорем		174
4	coreano (ko) 증명 보조기		125
5	chino (zh) 证明助手		115
6	español (es) Demostración interactiva de teoremas		39
7	polaco (pl) System wspomagający dowodzenie twierdzeń		36
8	ucraniano (uk) Асистент доведення теорем		14
9	estonio (et) Tõestusassistent		13

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

#	Idioma	Premio del IA	IA relativo
1	inglés (en) Proof assistant		107
2	francés (fr) Assistant de preuve		68
3	polaco (pl) System wspomagający dowodzenie twierdzeń		11
4	ruso (ru) Инструмент интерактивного доказательства теорем		6
5	coreano (ko) 증명 보조기		5
6	chino (zh) 证明助手		5
7	español (es) Demostración interactiva de teoremas		4
8	estonio (et) Tõestusassistent		3
9	ucraniano (uk) Асистент доведення теорем		3

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

#	Idioma	Premio del IA	IA relativo
1	chino (zh) 证明助手		3
2	francés (fr) Assistant de preuve		1
3	coreano (ko) 증명 보조기		1
4	ruso (ru) Инструмент интерактивного доказательства теорем		1
5	inglés (en) Proof assistant		0
6	español (es) Demostración interactiva de teoremas		0
7	estonio (et) Tõestusassistent		0
8	polaco (pl) System wspomagający dowodzenie twierdzeń		0
9	ucraniano (uk) Асистент доведення теорем		0

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El 16 de marzo de 2026 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: 98.ª edición de los Premios Óscar, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Una batalla tras otra, Amy Madigan, Hamnet, Timothée Chalamet.

En Wikipedia en inglés los artículos más populares de ese día fueron: 98th Academy Awards, Michael B. Jordan, Paul Thomas Anderson, Jessie Buckley, Sinners (2025 film), Amy Madigan, Autumn Durald Arkapaw, Maya Rudolph, Sean Penn, Academy Awards.

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de julio de 2025. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de junio de 2025. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2025... Más información